Algebraic Semantics of Object-Oriented Languages
نویسنده
چکیده
We develop an algebraic semantics of a sample core object-oriented language aggregating basic object-oriented features. We transform programs into differently structured algebraic specifications thereby maintaining the program’s object-oriented structure. The semantics of these specifications, viz algebras, serve as a semantics for core object-oriented concepts. Static aspects are captured by these specifications, whereas dynamic ones are reflected on manysorted algebras. We focus on the novelties of this approach, and end by discussing how it can be used to describe popular object-oriented languages.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملAn Approach to Algebraic Semantics of Object-Oriented Languages
Studying the semantics of programming languages has a long tradition in computer science. Various approaches use various formalisms with various objectives. In the last two decades, algebraic specifications have frequently been used to study functional as well as imperative languages, and, in particular, object-orientated ones, thereby often focusing on specific aspects and concepts of this pro...
متن کاملDialgebraic Semantics of Typed Object Calculi
Algebraic data type theory has a notion of structural recursion. Coalgebraic data types similarly have a notion of structural corecursion. In this thesis we study a third form of recursion: direcursion. The other two notions have been used in program derivations, correctness proofs, and in foundations of functional and class-based languages. Direcursion, on the other hand, has not been extensiv...
متن کاملThesis Proposal Type Safety of Equation-Based Object-Oriented Languages
During the past two decades, a new kind of object-oriented language based on differential-algebraic equations has emerged. Examples of such languages are Modelica, gPROMS, and VHDL-AMS. This kind of language, which we call equation-based object-oriented (EOO), enables new possibilities of modeling and simulation of complex dynamic physical systems. However, the unusual language semantics result...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003